Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
721	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic
722	CS109B Notes for LectureAutomata Systems often may be modeled by a nite set of states. The system is always in one state. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:51 Formal methods Powerset construction Finite-state machine Nondeterministic finite automaton Automata theory Theoretical computer science Computer science
723	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
724	Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving
725	Formalism: pitfalls and overcoming them (with AI?) Cliff Jones Newcastle University My background Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Mathematical logic Formal methods Form Philosophy of mathematics Technical communication Formalism Dependability Mathematical proof Reification Quality Mathematics Knowledge
726	Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability Yichen Xie and Alex Aiken Stanford University This article presents Saturn, a general framework for building precise and scalable static error Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-21 19:57:13 Formal methods Boolean algebra Symbol Entailment Interpretation Boolean satisfiability problem Logic Theoretical computer science Model theory
727	Safety-critical Avionics Software Development RTCA DO-178B/C Software Development Solutions E NSCO Avionics Canada offers full life cycle capabilities for safety-critical Add to Reading List Source URL: www.ensco.com Language: English - Date: 2013-08-02 17:17:24 Electronics Safety Embedded systems Software requirements Formal methods ENSCO Inc. DO-178B Avionics software DO-254 Avionics Software development Technology
728	ModelicaML Value Bindings for Automated Model Composition Wladimir Schamai1, Peter Fritzson2, Christiaan J.J. Paredis3, and Philipp Helle4 EADS Innovation Works, Germany, {wladimir.schamai, philipp.helle}@eads.net 2 Depa Add to Reading List Source URL: www.openmodelica.org Language: English - Date: 2012-05-14 10:40:23 Systems engineering Formal methods Scientific modeling Methodology Modelica Object-oriented programming Model-based design Software development process Unified Modeling Language Science Software engineering Software development
729	Paper presented at the Population Association of America 2011 Annual Meeting - Washington, DC. Session 125: Formal Demography I: Mathematical Models and Methods (Friday 1 April 2011, 12:30 PM - 2:20 PM) Latest revision 6 Add to Reading List Source URL: esa.un.org Language: English - Date: 2012-12-07 10:54:10 Mathematical analysis Statistics Mathematics Lee-Carter model Life table Life expectancy Logarithm Taylor series Actuarial science Population Demography
730	Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-04-13 00:26:28 NP-complete problems Automated theorem proving Constraint programming Boolean algebra Formal methods DPLL algorithm Boolean satisfiability problem Conjunctive normal form Lookup table Theoretical computer science Applied mathematics Mathematics

UPDATE